/*
 * iVprog 
 * @see edu.cmu.cs.stage3.alice.authoringtool.MainUndoRedoStack
 * @see edu.cmu.cs.stage3.alice.authoringtool.util.UndoableRedoable
 * 
 */

package edu.cmu.cs.stage3.alice.authoringtool.util;

public interface UndoRedoStack extends java.util.List {

 public void push (UndoableRedoable ur );
 public UndoableRedoable pop ();
 public UndoableRedoable undo ();
 public UndoableRedoable redo ();
 public UndoableRedoable removeUndoable (int index );

 public int getCurrentUndoableRedoableIndex ();

 public void clear ();

 }
